#include "dofs.h"

int main()
{
    uint64_t num = 0;
    num--;
    printf("%llu %x\n", num, num);
    return 0;
}
